The piloting software of ATM (Automatic Teller Machine).
نویسندگان
چکیده
منابع مشابه
The Formal Design Model of an Automatic Teller Machine (ATM)
An Automated Teller Machine (ATM) is a safety-critical and real-time system that is highly complicated in design and implementation. This paper presents the formal design, specification, and modeling of the ATM system using a denotational mathematics known as Real-Time Process Algebra (RTPA). The conceptual model of the ATM system is introduced as the initial requirements for the system. The ar...
متن کاملThe Formal Design Model of an Automatic Teller Machine (ATM)
Automated teller machines (ATM) have become a part and parcel of supermarkets, convenience stores, travel centers and banking. ATM is a real-time system that is very complex in design and application. This paper presents the formal design, requirement, a distributed approach for the ATM networks, and type of the ATM system.
متن کاملFACT-V: Universal Access and Quality of Interaction for Automatic Teller Machine (ATM)
In this paper we showed our ATM named “FACT-V” to improve universal access and quality of interaction from two viewpoints: (1) input methods for the blind to operate complicated function and (2) ergonomic design of ATM for wheelchair users.
متن کاملSoftware for AT-400N Automated Teller Machine
We developed the AT-400N automated teller machine by reconstructing embedded ATM software, which was formerly developed with a dedicated OS / dedicated language, with a general purpose OS / general purpose language. This machine has WOSA/XFS, which can insure the portability of Oki software to ATM platforms made by other manufacturers. To improve productivity and maintainability, an object orie...
متن کاملA Data Mining approach for forecasting failure root causes: A case study in an Automated Teller Machine (ATM) manufacturing company
Based on the findings of Massachusetts Institute of Technology, organizations’ data double every five years. However, the rate of using data is 0.3. Nowadays, data mining tools have greatly facilitated the process of knowledge extraction from a welter of data. This paper presents a hybrid model using data gathered from an ATM manufacturing company. The steps of the research are based on CRISP-D...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer Science and Cybernetics
سال: 2012
ISSN: 1813-9663,1813-9663
DOI: 10.15625/1813-9663/19/2/1510